We prove that if a modal formula is refuted on a wK4-algebra ( B ,□), then it is refuted on a finite wK4-algebra which is isomorphic to a subalgebra of a relativization of ( B ,□). As an immediate consequence, we obtain that each subframe and cofinal subframe logic over wK4 has the finite model property. On the one hand, this provides a purely algebraic proof of the results of Fine and Zakharyaschev for K4 . On the other hand, it (...) extends the Fine-Zakharyaschev results to wK4. (shrink)

In this paper we show that the usual intuitionistic characterization of the decidability of the propositional function B prop [x : A], i. e. to require that the predicate ∨ ¬ B) is provable, is equivalent, when working within the framework of Martin-Löf's Intuitionistic Type Theory, to require that there exists a decision function ψ: A → Boole such that = Booletrue) ↔ B). Since we will also show that the proposition x = Booletrue [x: Boole] is decidable, we can (...) alternatively say that the main result of this paper is a proof that the decidability of the predicate Bprop [x : A] can be effectively reduced by a function ψ A → Boole to the decidability of the predicate ψ = Booletrue [x : A]. All the proofs are carried out within the Intuitionistic Type Theory and hence the decision function ψ, together with a proof of its correctness, is effectively constructed as a function of the proof of ∨ ¬ B). (shrink)

Alternative facts are by no means a new phenomenon in politics. Guardians of public policy have always considered lies an appropriate means by which to conserve power. It was only much later that science and the press became interested in ›facts‹ – and they did so with quite different concepts of inquisitiveness. In the meantime both have acquired a mistrust which has been purposefully plantedand carefully cultivated. This article investigates the scheming behind the lies and doubts of truth in the (...) current political landscape and tries to answer the question in which cases alternative facts can still be considered a means of reason of state and in which cases they canno. (shrink)

Alternative Fakten sind in der Politik nicht neu. Verfechter der Staatsräson betrachteten die Lüge seit jeher als legitimes Mittel des Machterhalts. Für ›Tatsachen‹ begannen Wissenschaft und Presse sich erst später – und mit unterschiedlich ausgeprägter Neugier – zu interessieren. Inzwischen kehrt sich gegen beide ein gezielt gesätes Misstrauen. Der Beitrag geht dem Kalkül hinter den Lügen und Wahrheitszweifeln in der aktuellen Politik nach und versucht die Frage zu beantworten, wo darin die Staatsvernunft weiter regiert und wo nicht. Alternative facts are (...) by no means a new phenomenon in politics. Guardians of public policy have always considered lies an appropriate means by which to conserve power. It was only much later that science and the press became interested in ›facts‹ – and they did so with quite different concepts of inquisitiveness. In the meantime both have acquired a mistrust which has been purposefully plantedand carefully cultivated. This article investigates the scheming behind the lies and doubts of truth in the current political landscape and tries to answer the question in which cases alternative facts can still be considered a means of reason of state and in which cases they cannot. (shrink)

This article suggests developing the concept of spiritual ecology into that of balanced spiritual ecosystems. Philosophies, theologies, education systems, political parties, and gender-based and ethnic identity politics need to be critiqued both from within and without so that they can finally contribute to the creation, maintenance and flourishing of balanced spiritual ecosystems.Contribution: Spiritual ecology is a concept on which converge different worldviews. This article recommends using balanced spiritual ecosystems, instead. The new concept could provoke further reflection on how our -ontologies (...) and communities co-exist and whether they do it organically and spiritually. This article befits HTS’s interest in ‘theology and nature’. (shrink)

The pandemic period has placed the organizations in a state of great tension. It has generated a situation of confusion, lack of rules, and production-related criticalities that have called into question the very existence of many productive realities. This article aims to highlight the dimensions of care and ethics put in place by HR managers in COVID-19. The objective that animated the authors have focused on the HRM level of medium and large companies in Italy to highlight the protective actions (...) toward people and the organization in the period COVID 19, highlighting what were the ethical values and actions of care put in place. In this article, we wanted to give voice to managers who had management tasks in their organizations by asking them to tell us how they dealt with the challenges imposed by the emergency. In the research, we start from a way of understanding workplaces understood as a “process of ongoing social relationship” within which the HR function is dedicated to the care of the quality of relationships. HR managers have to manage a complex role of mediating between the interests of people and employers by trying to find good mediations. (shrink)

O presente artigo trata sobre experiências leitoras motivadas por canções, memórias autobiográficas e comentários publicados em plataformas digitais. Partindo-se do princípio de que a leitura é mais que uma simples atividade de decodificação, defende-se que ao deixar-se ler pelas canções e pela arte o sujeito, involuntariamente, arma-se para produzir sentidos às marcas inscritas e re-inscritas na sua própria história, reinventando-se e gerando novos processos de subjetivação. Os objetivos deste trabalho são: 1. Construir uma compreensão sobre o lugar da canção no (...) cenário artístico brasileiro, bem como sobre a sua capacidade de produzir efeitos nos sujeitos leitores, amparando-se em algumas produções intelectuais reconhecidas no meio acadêmico. 2. Narrar uma experiência de leitura, em que a canção atua como desveladora de demandas afetivas pessoais, geradora de um produto artístico: a série de vídeo Histórias de Maria. 3. Identificar e analisar possíveis leituras sobre as Histórias de Maria, imersas em comentários sobre a respectiva série, publicados nas plataformas digitais. Para efeito didático e metodológico, organiza-se este artigo em três itens: 1) O lugar da canção como suporte de leitura. 2. Experiência subjetiva: leituras de marcas inscritas e reinscritas pela canção. 3. Histórias de Maria: leituras e leitores. Autores como Wisnik, Rossi e Neder Lima, Agamben, Martins e Jouve contribuem para a compreensão do lugar da canção no cenário artístico brasileiro, sua qualidade de objeto biográfico e dispositivo, bem como sua potência em levar o corpo a produzir sentidos para marcas inscritas e reinscritas, através de diversos níveis de leitura. Contribuem, também, para a análise das possíveis leituras imersas nos comentários recolhidos para este trabalho. Por fim, nas considerações finais, conclui-se que toda forma de ler vale a pena. (shrink)

Vision is the main entrance for environmental input to the human brain. Even if vision is our most used sensory modality, its importance is not limited to environmental exploration. Rather it has strong links to motor competences, further extending to cognitive and social aspects of human life. These multifaceted relationships are particularly important in developmental age and become dramatically evident in presence of complex deficits originating from visual aberrancies. The present review summarizes the available neuropsychological evidence on the development of (...) visual competences, with a particular focus on the associated visuo-motor integration skills in health and disease. With the aim of supporting future research and interventional settings, the goal of the present review is to constitute a solid base to help the translation of neuropsychological hypotheses into straightforward empirical investigations and rehabilitation/training protocols. This approach will further increase the impact, ameliorate the acceptance, and ease the use and implementation of lab-derived intervention protocols in real-life situations. (shrink)

I propose to show in this paper how Bosanquet’s aesthetics, in certain of its aspects, conditions William Temple’s reflection on art — a reflection which occupies a central position in Temple’s “Christo-centric metaphysics,” and which finds expression particularly in Mens Creatrix. Bosanquet’s influence becomes still more evident if we compare Temple’s position with the philosophy of art which R.G. Collingwood delineated in the initial phase of his thought, above all in Speculum Mentis and Outlines of a Philosophy of Art.

O Argumento da Terra Gêmea Moral (ATGM) é o desafio semântico central para o Realismo Moral Naturalista (RMN). À fim de evitar tal problema, os defensores do RMN têm articulado uma série de réplicas ao ATGM. Neste artigo, abordo algumas dessas réplicas e defendo a tese de que elas não refutam o ATGM. Considero duas propostas em específico: o Argumento da Tradução, de D. Copp, e o Argumento do Fim da Investigação Moral, de A. Viggiano. Apresento essas objeções, mostro em (...) que sentido pretendem responder ao ATGM e argumento que cada uma delas é vulnerável a vários problemas. Concluo que os ataques de Copp e Viggiano ao ATGM devem ser recusados e que o desafio semântico ao RMN persiste. (shrink)

Abstract.Formal topologies are today an established topic in the development of constructive mathematics. One of the main tools in formal topology is inductive generation since it allows to introduce inductive methods in topology. The problem of inductively generating formal topologies with a cover relation and a unary positivity predicate has been solved in [CSSV]. However, to deal both with open and closed subsets, a binary positivity predicate has to be considered. In this paper we will show how to adapt to (...) this framework the method used to generate inductively formal topologies with a unary positivity predicate; the main problem that one has to face in such a new setting is that, as a consequence of the lack of a complete formalization, both the cover relation and the positivity predicate can have proper axioms. (shrink)

In the literature, the nature of the relationships between memory processes and summary evaluations is still a debate. According to some theoretical approaches (e.g., “two-memory hypothesis”; Anderson, 1989) retrospective evaluations are based on the impression formed while attending to the to-be-assessed stimuli(on-line judgment) – no functional dependence between information retrieval and judgment is implied. Conversely, several theories entail that judgment must depend, at least in part, on memory processes (e.g., Dougherty, Gettys, & Ogden, 1999; Schwarz, 1998; Tversky & Kahneman, 1973). (...) The present study contributes to this debate by addressing two important issues. First, it shows how more comprehensive memory measures than those used previously (e.g., Hastie & Park, 1986) are necessary in order to detect a relationship between memory and retrospective evaluations. Secondly, it demonstrates how memory strategies influence the relationship between memory and judgment. Participants recalled lists of words, after having assessed each of them for their pleasantness. Results showed a clear association between memory and judgment, which was mediated by the individual strategies participants used to recall the items. (shrink)

By using some classical reasoning we show that any countably presented formal topology, namely, a formal topology with a countable axiom set, is spatial.

Ao defender, nos Princípios matemáticos de filosofia natural, a existência de uma força de gravitação universal, Newton desencadeou uma onda de dúvidas e objeções filosóficas. Suas próprias declarações sobre a natureza da gravitação não são facilmente interpretáveis como formando um conjunto consistente de opiniões. Por um lado, logo após fornecer as três definições de "quantidades de forças centrípetas" (Defs. 6-8), Newton observa que está tratando tais forças "matematicamente", sem se pronunciar sobre sua realidade física. Mas, por outro lado, no Escólio (...) Geral inserido no final da segunda edição do livro, Newton diz que foi capaz de "explicar" vários fenômenos de movimento por meio da força de gravidade - que ele mostrou ser um tipo de força centrípeta -, embora não tivesse ainda conseguido explicar a causa dessa força. Uma interpretação plausível dessas últimas afirmações é que Newton acreditava que pôde inferir, a partir dos fenômenos, a existência da força de gravidade, enquanto agente causal real de certos movimentos, mas que ainda não havia tido sucesso em descobrir a causa dessa causa. O objetivo principal do presente artigo não é aprofundar a análise histórica das declarações de Newton, mas examinar como essa questão se insere no debate mais geral sobre o estatuto epistemológico das hipóteses científicas que transcendem a experiência imediata. Segundo a posição defendida, entre muitos outros, por John Locke, tais hipóteses devem ser interpretadas como tentativas legítimas de descrever aspectos inobserváveis da realidade. Em contraste com isso, no caso específico das hipóteses sobre forças - de gravitação ou quaisquer outras -, George Berkeley argumentou vigorosamente a favor de sua interpretação como meros artifícios teóricos úteis às "demonstrações matemáticas" na ciência da mecânica. Ao longo da análise das vantagens e desvantagens filosóficas dessas posições opostas, indica-se aqui que, embora a interpretação realista pareça fazer mais justiça ao desenvolvimento real da física após os Princípios matemáticos, a interpretação instrumentalista de Berkeley tem o mérito filosófico inegável de representar uma adesão mais firme ao empirismo, que é, de um modo ou de outro, valorizado por ambas as partes envolvidas na disputa sobre a natureza da gravitação. Newton's defence, in the Principia, of the existence of a universal force of gravity immediately gave rise to a wave of philosophical doubts and objections. His own remarks on the nature of gravitation are not easily amenable of a consistent, uniform interpretation. This paper begins by reviewing briefly these remarks. Its primary objective is, however, to examine how this important scientific issue contributed to demarcate two main epistemological positions on the status of scientific hypotheses transcending immediate experience. In Newton's time, two exponents of these positions were, respectively, Locke and Berkeley. Intriguingly, Newton fuelled both the Berkeleyan, instrumentalist interpretation, and the Lockean, realist interpretation. On the one hand, immediately after offering the definitions of "quantities of centripetal forces" (Definitions 6-8), he warned that he was treating these forces "mathematically", without pronouncing on its physical status. This remark lends support to Berkeley's anti-realist interpretation of forces, as Berkeley himself was keen to point out. But in the General Scholium, at the end of the book, Newton declared that he could "explain" certain important phenomena of motion by the force of gravity, although he had not yet been able to explain the cause of this force, adding, famously, that he would "feign no hypotheses" about this issue. A natural, realist interpretation of this statement is that Newton believed that he could infer, from the phenomena, the existence of gravity, as a real, causal physical agent, but that he had not yet succeeded in discovering the cause of this cause. In discussing the shortcomings and advantages of these opposing views, we indicate that although the realist interpretation appears to do more justice to the actual development of physics after the Principia, Berkeley's interpretation has the philosophical merit of representing a firmer adherence to empiricism, a position valued, in one way or another, by all parties involved in the dispute on the nature of gravitation. (shrink)

This paper discusses an argument for scientific realism put forward by Anthony Quinton in The Nature of Things. The argument – here called the controlled continuity argument – seems to have received no attention in the literature, apparently because it may easily be mistaken for a better-known argument, Grover Maxwell’s “argument from the continuum”. It is argued here that, in point of fact, the two are quite distinct and that Quinton’s argument has several advantages over Maxwell’s. The controlled continuity argument (...) is also compared to Ian Hacking’s “argument from coincidence”. It is pointed out that both arguments are to a large extent independent from considerations about high-level scientific theories, and that both are abductive arguments at the core. But these similarities do not dilute an important difference related to the fact that Quinton’s argument cleverly seeks to anchor belief in unobservable entities in realism about ordinary objects, which is a position shared by most contemporary scientific anti-realists. (shrink)

This paper explores how some Italian HR managers narrate the changes imposed by the COVID-19 threat in the workplace. Events since December 2019 have presented exceptional circumstances to which HR managers have reacted in very different ways. This study explored how HR managers came to introduce organizational changes aimed at coping with the emergency, as well as how employees were involved in those organizational changes. The article is based on a thematic analysis of some interviews with Italian HR managers whose (...) companies decided to switch working from home on a massive scale. We wanted to offer some reflections on the actions taken by a few HR managers and Italian companies to keep working at a time when most workers were forced to respect the lockdown. (shrink)